翻訳と辞書
Words near each other
・ Cylinders of Nabonidus
・ Cylindilla
・ Cylindilla bidentata
・ Cylindilla formosana
・ Cylindilla grisescens
・ Cylindilla inornata
・ Cylindilla interrupta
・ Cylindilla makiharai
・ Cylindilla parallela
・ Cylindracanthus
・ Cylindraspis
・ Cylindrecamptus lineatus
・ Cylindrellinidae
・ Cylindrepomus
・ Cylindric algebra
Cylindric numbering
・ Cylindrical algebraic decomposition
・ Cylindrical coordinate system
・ Cylindrical drum
・ Cylindrical equal-area projection
・ Cylindrical grinder
・ Cylindrical harmonics
・ Cylindrical joint
・ Cylindrical lanternshark
・ Cylindrical lens
・ Cylindrical lioplax
・ Cylindrical multipole moments
・ Cylindrical perspective
・ Cylindrical σ-algebra
・ Cylindrification


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Cylindric numbering : ウィキペディア英語版
Cylindric numbering

In computability theory a cylindric numbering is a special kind of numbering first introduced by Yuri L. Ershov in 1973.
If a numberings \nu is reducible to \mu then there exists a computable function f with \nu = \mu \circ f. Usually f is not injective but if \mu is a cylindric numbering we can always find an injective f.
== Definition ==

A numbering \nu is called cylindric if
:\nu \equiv_1 c(\nu).
That is if it is one-equivalent to its cylindrification
A set S is called cylindric if its indicator function
:1_S: \mathbb \to \
is a cylindric numbering.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Cylindric numbering」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.